第十一章 Euclid空间上的极限与连续
目录
1. Euclid 空间上的距离与极限
对于多元函数, 记 \( \mathbf{R}\) 为实数全体, 定义 n 个 \(\mathbf{R}\) 的 Descartes 成绩集为: \[ \mathbf{R} = \mathbf{R} \times \mathbf{R} \times \cdots \mathbf{R} = \{ (x_1, x_2, \cdots x_n)|x_i \in \mathbf{R}, i=1,2,\cdots n \}. \]
\( \mathbf{R}^n\) 中的元素 \(\vec{x} = (x_1, x_2, \cdots x_n)\) 称为向量或点, \(x_i\) 为 \(\vec{x}\) 的第 \(i\) 个坐标
定义 \(\mathbf{R}^n\) 的加法, 数乘运算, 则称 \(\mathbf{R}^n\) 为 向量空间.
1.1. 内积与 Euclid 空间
如果在 \(\mathbf{R}^n\) 内引入内积运算: \( (\vec{x}, \vec{y})= \sum_{i=1}^n x_i y_i \), 则称 \(\mathbf{R}^n\) 为 Euclid 空间.
内积性质:正定性,对称性,线性性.
Schwarz 不等式:
\[ \langle\vec{x}, \vec{y}\rangle = \sum_{i=1}^n x_i y_i \leq \langle \vec{x}, \vec{x}\rangle\langle \vec{y}, \vec{y}\rangle = \sqrt{\sum_{i=1}^n x_i^2}\cdot \sqrt{\sum_{i=1}^n y_i^2 } \]
1.2. Euclid 空间内距离
设 \( ||x|| = \sqrt{\langle x, x\rangle}=\sqrt{\sum_{i=1}^n x_i^2} \). \(||x||\) 称为 \(\vec{x}\) 的范数/ 距离.
距离性质:正定性,对称性,三角不等式.
Euclid 空间内邻域定义(中心,半径).
1.3. Euclid 空间内极限
首先我们定义 \(\{\vec{x}_k\}\) 为 \(\mathbf{R}\) 的一个点列.
一个点列不收敛则称其发散.
Euclid 空间内极限性质:唯一性,有界性,四则运算法则.
NOTE: 高维的两个点之间不存在大小关系,故无保序性与夹逼性.
1.4. Euclid 空间内有界集
设 \(S\) 为 \(\mathbf{R}^n\) 上点集, 其在 \(\mathbf{R}^n\) 上补集 \( \mathbf{R}^n \setminus S \) 记作 \(S^C\).
- 内点
- 存在邻域是 \(S\) 的子集. 显然内点必属于 \(S\); \(S\) 的内点全体称为内部, 记作 \(S^0\).
- 外点
- \(S^C\) 的内点.
- 边界点
- \(\forall O(x_0, \delta), \exists x_1 \in S, x_2 \in S^C\). 边界点不一定属于 \(S\); \(S\) 边界点的全体称为 \(S\) 的边界, 记作 \( \partial S\).
- 孤立点(边界点的特殊情况).
- 聚点
- \( \forall O(\vec{x}, \delta) \) 都含有 \(S\) 中的无数个点. \(S\) 的聚点全体记为 \(S\prime\).
- \(\vec{x}\) 为 \(S\) 聚点的充要条件: \(\forall \{\vec{x}_k\}\), 满足 \(\vec{x}_k\in S, \vec{x}_k \ne \vec{x}, \lim_{n \to \infty} \vec{x}_k = \vec{x} \).
- 开集
- \( \forall \vec{x} \in S, \vec{x} \in S^0\), 称 \(S\) 为开集.
- 闭集
- \(\forall \vec{x} S\prime, \vec{x} \in S\), 称 \(S\) 为闭集.
- 闭包
- \( S \cup S\prime \) 称为闭包, 记作 \(\bar{S}\).
推论: 邻域时开集; \(S\) 为开/闭集的充要条件为 \(S^C\) 为闭开集.
n 维开(闭)矩形;n 维开(闭)球
De Morgan 公式(对偶律):并之补即补之交;交之补即补之并.
推论:
- 开集之并为开集;
- 闭集之交为闭集;
- 有限个开集之交为开集;
- 有限个闭集之并为闭集.
2. Euclid 空间上的基本定理(4 条)
闭矩形套定理 ( \( \mathbf{R}^1 \) 即闭区间套定理 ) => Cantor 闭区域套定理 (更一般)
Bolzano-Weierstrass 定理.
基本点列;Cauchy 收敛原理.
开覆盖; 紧集 <=> 有界闭集 ( Henie-Borel 定理 ) <=> 任一无限子集在原集中必有聚点.
3. 多元连续函数
多元函数(多个自变量 -> 一个因变量)
3.1. 多元函数的多重极限
注意定义域是开集; 要求 \(\vec{x}\) 可以以任意方式趋近; 多用于证伪.
- 累次极限
- 对于每个固定的 \( y\ne y_0\), \(\exists \lim_{x \to x_0} f(x.y) =\varphi(y) \), \(\exists \lim_{y \to y_0} \lim_{x \to x_0} f(x, y) \); 则称此极限为 \( f(x, y) \) 对点 \( ( x_0, y_0 ) \) 的先 x 后 y 极限.
重极限与累次极限关系(既非充分也非必要)
强条件下重极限与累次极限关系 (重极限存在; \( x\ne x_0 \) 时 \( \exists \lim_{y \to y_0} f(x, y) = \varphi(x) \) )
3.2. 多元连续函数
多元函数的连续性 (注意定义域是开集) => 多元连续函数
一元连续函数的和差积商与复合函数性质对多元连续函数仍适用.
4. 向量值函数
多个因变量 <- 一个自变量
向量值函数的极限和连续 ( \(\vec{f}\) 收敛; 连续映射 ); 定义域是开集.
映射 \( \vec{f}: D\rightarrow \mathbf{R}^m \) 在 \(\vec{x}_0\) 连续 <=> 函数 \( f_1, f_2, \cdots f_m\) 在 \(\vec{x}\) 点连续.
复合映射的连续性.
紧集上的连续映射(连续映射的概念的扩展). 特别地, \(\vec{f}\) 在孤立点 \(\vec{x}_0\) 上连续.
连续映射将紧集映射成紧集.
映射的一致连续.
一致连续性定理(连续映射的 Cantor 定理):紧集上的连续映射一致连续.
道路; 起点与重点 (前提是连续映射) => 连通集.
(开)区域:连通的开集;闭区域:开区域的闭包.
连续映射将连通集映射成连通集.